<?php

require "Tools\WebResult.php";

use Tools\WebResult;

$_SESSION['user'] = null;

WebResult::JsonSuccess();
